Realizability Analysis 1 Running head: REALIZABILITY ANALYSIS Realizability Analysis of Top-down Web Service Composition Specifications
نویسندگان
چکیده
A conversation protocol specifies the desired global behaviors of a web service composition in a top-down fashion. Before implementing a conversation protocol, its realizability has to be determined, i.e., can a bottom-up web service composition be synthesized so that it generates exactly the same set of conversations as specified by the protocol? This chapter presents three sufficient conditions to restrict control flows of a conversation protocol for achieving realizability. The model is further extended to include data semantics of web services into consideration. To overcome the state-space explosion problem, symbolic analysis techniques are used for improving the accuracy of analysis. The realizability analysis can effectively reduce the complexity of verifying web services with asynchronous communication.
منابع مشابه
Analyzing Conversations: Realizability, Synchronizability, and Verification
Conversations provide an intuitive and simple model for analyzing interactions among composite web services. A conversation is the global sequence of messages exchanged among the peers participating to a composite web service. Interactions in a composite web service can be analyzed by investigating the temporal properties of its conversations. Conversations can be specified in a top-down or bot...
متن کاملAnalysis of Realizability Conditions for Web Service Choreographies
Web service choreography languages allow for the description of multipart collaborations from a global point of view, specifying the information exchanged by the participants in order to accomplish a common business goal. An important issue, emerging from the choreography modelling, is the protocol realizability, i.e., the possibility to extract the local specifications of the participants, so ...
متن کاملPreface Chapter Iv Is Titled " Efficient Transport Bindings for Web Service Messages " By
I am pleased to bring you Web Services Research and Practices. Web services technology has been widely admitted as the future technology for Internet computing and distributed computing. As the second volume in the IGI Advanced Book Series, this book provides researchers, practitioners, and educators with the most current research results in the field in 10 chapters. The chapter discusses the o...
متن کاملA Local Logic for Realizability in Web Service Choreographies
Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does there exist a set of service implementations I that conform to C ? Further, if C is realizable, is there an algorithm to construct implementations in I ? We propose a local temporal logic in which choreographies can be s...
متن کاملRealizability of Interactions in Collaboration Diagrams
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emerging area of web services. Collaboration diagrams provide a convenient visual model for characterizing such interactions. An interaction can be characterized as a global sequence of messages exchanged among a set of peers, listed in the order they are...
متن کامل